38 research outputs found
The complexity of conservative finite-valued CSPs
We study the complexity of valued constraint satisfaction problems (VCSP). A
problem from VCSP is characterised by a \emph{constraint language}, a fixed set
of cost functions over a finite domain. An instance of the problem is specified
by a sum of cost functions from the language and the goal is to minimise the
sum. We consider the case of so-called \emph{conservative} languages; that is,
languages containing all unary cost functions, thus allowing arbitrary
restrictions on the domains of the variables. This problem has been studied by
Bulatov [LICS'03] for -valued languages (i.e. CSP), by
Cohen~\etal\ (AIJ'06) for Boolean domains, by Deineko et al. (JACM'08) for
-valued cost functions (i.e. Max-CSP), and by Takhanov (STACS'10) for
-valued languages containing all finite-valued unary cost
functions (i.e. Min-Cost-Hom).
We give an elementary proof of a complete complexity classification of
conservative finite-valued languages: we show that every conservative
finite-valued language is either tractable or NP-hard. This is the \emph{first}
dichotomy result for finite-valued VCSPs over non-Boolean domains.Comment: 15 page
The complexity of finite-valued CSPs
We study the computational complexity of exact minimisation of
rational-valued discrete functions. Let be a set of rational-valued
functions on a fixed finite domain; such a set is called a finite-valued
constraint language. The valued constraint satisfaction problem,
, is the problem of minimising a function given as
a sum of functions from . We establish a dichotomy theorem with respect
to exact solvability for all finite-valued constraint languages defined on
domains of arbitrary finite size.
We show that every constraint language either admits a binary
symmetric fractional polymorphism in which case the basic linear programming
relaxation solves any instance of exactly, or
satisfies a simple hardness condition that allows for a
polynomial-time reduction from Max-Cut to
A Galois Connection for Weighted (Relational) Clones of Infinite Size
A Galois connection between clones and relational clones on a fixed finite
domain is one of the cornerstones of the so-called algebraic approach to the
computational complexity of non-uniform Constraint Satisfaction Problems
(CSPs). Cohen et al. established a Galois connection between finitely-generated
weighted clones and finitely-generated weighted relational clones [SICOMP'13],
and asked whether this connection holds in general. We answer this question in
the affirmative for weighted (relational) clones with real weights and show
that the complexity of the corresponding valued CSPs is preserved
Necessary conditions for tractability of valued CSPs
The connection between constraint languages and clone theory has been a
fruitful line of research on the complexity of constraint satisfaction
problems. In a recent result, Cohen et al. [SICOMP'13] have characterised a
Galois connection between valued constraint languages and so-called weighted
clones. In this paper, we study the structure of weighted clones. We extend the
results of Creed and Zivny from [CP'11/SICOMP'13] on types of weightings
necessarily contained in every nontrivial weighted clone. This result has
immediate computational complexity consequences as it provides necessary
conditions for tractability of weighted clones and thus valued constraint
languages. We demonstrate that some of the necessary conditions are also
sufficient for tractability, while others are provably not.Comment: To appear in SIAM Journal on Discrete Mathematics (SIDMA
The power of Sherali-Adams relaxations for general-valued CSPs
We give a precise algebraic characterisation of the power of Sherali-Adams
relaxations for solvability of valued constraint satisfaction problems to
optimality. The condition is that of bounded width which has already been shown
to capture the power of local consistency methods for decision CSPs and the
power of semidefinite programming for robust approximation of CSPs.
Our characterisation has several algorithmic and complexity consequences. On
the algorithmic side, we show that several novel and many known valued
constraint languages are tractable via the third level of the Sherali-Adams
relaxation. For the known languages, this is a significantly simpler algorithm
than the previously obtained ones. On the complexity side, we obtain a
dichotomy theorem for valued constraint languages that can express an injective
unary function. This implies a simple proof of the dichotomy theorem for
conservative valued constraint languages established by Kolmogorov and Zivny
[JACM'13], and also a dichotomy theorem for the exact solvability of
Minimum-Solution problems. These are generalisations of Minimum-Ones problems
to arbitrary finite domains. Our result improves on several previous
classifications by Khanna et al. [SICOMP'00], Jonsson et al. [SICOMP'08], and
Uppman [ICALP'13].Comment: Full version of an ICALP'15 paper (arXiv:1502.05301
Generalising tractable VCSPs defined by symmetric tournament pair multimorphisms
We study optimisation problems that can be formulated as valued constraint
satisfaction problems (VCSP). A problem from VCSP is characterised by a
\emph{constraint language}, a fixed set of cost functions taking finite and
infinite costs over a finite domain. An instance of the problem is specified by
a sum of cost functions from the language and the goal is to minimise the sum.
We are interested in \emph{tractable} constraint languages; that is, languages
that give rise to VCSP instances solvable in polynomial time. Cohen et al.
(AIJ'06) have shown that constraint languages that admit the MJN multimorphism
are tractable. Moreover, using a minimisation algorithm for submodular
functions, Cohen et al. (TCS'08) have shown that constraint languages that
admit an STP (symmetric tournament pair) multimorphism are tractable.
We generalise these results by showing that languages admitting the MJN
multimorphism on a subdomain and an STP multimorphisms on the complement of the
subdomain are tractable. The algorithm is a reduction to the algorithm for
languages admitting an STP multimorphism.Comment: 14 page
The Power of Linear Programming for Valued CSPs
A class of valued constraint satisfaction problems (VCSPs) is characterised
by a valued constraint language, a fixed set of cost functions on a finite
domain. An instance of the problem is specified by a sum of cost functions from
the language with the goal to minimise the sum. This framework includes and
generalises well-studied constraint satisfaction problems (CSPs) and maximum
constraint satisfaction problems (Max-CSPs).
Our main result is a precise algebraic characterisation of valued constraint
languages whose instances can be solved exactly by the basic linear programming
relaxation. Using this result, we obtain tractability of several novel and
previously widely-open classes of VCSPs, including problems over valued
constraint languages that are: (1) submodular on arbitrary lattices; (2)
bisubmodular (also known as k-submodular) on arbitrary finite domains; (3)
weakly (and hence strongly) tree-submodular on arbitrary trees.Comment: Corrected a few typo
Hybrid tractability of soft constraint problems
The constraint satisfaction problem (CSP) is a central generic problem in
computer science and artificial intelligence: it provides a common framework
for many theoretical problems as well as for many real-life applications. Soft
constraint problems are a generalisation of the CSP which allow the user to
model optimisation problems. Considerable effort has been made in identifying
properties which ensure tractability in such problems. In this work, we
initiate the study of hybrid tractability of soft constraint problems; that is,
properties which guarantee tractability of the given soft constraint problem,
but which do not depend only on the underlying structure of the instance (such
as being tree-structured) or only on the types of soft constraints in the
instance (such as submodularity). We present several novel hybrid classes of
soft constraint problems, which include a machine scheduling problem,
constraint problems of arbitrary arities with no overlapping nogoods, and the
SoftAllDiff constraint with arbitrary unary soft constraints. An important tool
in our investigation will be the notion of forbidden substructures.Comment: A full version of a CP'10 paper, 26 page